Leslie Lamport - PDFSEARCH.IO - Document Search Engine

Leslie Lamport
Results: 304

#	Item
281	MakeIndex : An Index Processor For LaTEX Leslie Lamport 17 February[removed] Add to Reading List Source URL: distrib-coffee.ipsl.jussieu.fr Language: English - Date: 2006-04-18 10:22:00 Indexing Troff Emacs MakeIndex Gnus Desktop publishing software Search engine indexing Index Database index Software Information science Publishing
282	MakeIndex : An Index Processor For LaTEX Leslie Lamport 17 February[removed] Add to Reading List Source URL: ftp.fau.de Language: English - Date: 2006-04-18 10:22:00 Indexing Troff Emacs MakeIndex Gnus Desktop publishing software Search engine indexing Index Database index Software Information science Publishing
283	MakeIndex : An Index Processor For LaTEX Leslie Lamport 17 February[removed] Add to Reading List Source URL: ftp.ktug.org Language: English - Date: 2006-04-18 10:22:00 Indexing Troff Emacs MakeIndex Gnus Desktop publishing software Search engine indexing Index Database index Software Information science Publishing
284	MakeIndex : An Index Processor For LaTEX Leslie Lamport 17 February[removed] Add to Reading List Source URL: ftp.oleane.net Language: English - Date: 2006-04-18 10:22:00 Indexing Troff Emacs MakeIndex Gnus Desktop publishing software Search engine indexing Index Database index Software Information science Publishing
285	The LATEX 2ε Sources Johannes Braams David Carlisle Alan Jeffrey Leslie Lamport Frank Mittelbach Add to Reading List Source URL: mirror.its.dal.ca Language: English - Date: 2011-06-30 06:23:00 Typesetting Digital typography Macro programming languages Desktop publishing software Donald Knuth TeX Make Man page Computing Software Application software
286	LATEX 2ε The macro package for TEX by Leslie Lamport et al. Edition 1.4 Add to Reading List Source URL: www.ntg.nl Language: English - Date: 1998-02-03 12:24:21 Scripting languages LaTeX Main function TeX Parameter Batch file AS/400 Control Language Make Computing Software Subroutines
287	MakeIndex : An Index Processor For LaTEX Leslie Lamport 17 February[removed] Add to Reading List Source URL: www.ntg.nl Language: English - Date: 1998-01-30 11:43:42 Indexing Searching Troff Emacs MakeIndex Desktop publishing software Gnus Search engine indexing Database index Software Computing Information science
288	The Part-Time Parliament Leslie Lamport This article appeared in ACM Transactions on Computer Systems 16, 2 (May 1998), [removed]Minor corrections were made on 29 August 2000. Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2000-08-29 15:04:04 Elections Politics Parliamentary procedure Quorum Ballot
289	Paxos Made Simple Leslie Lamport 01 Nov 2001 Abstract The Paxos algorithm, when presented in plain English, is very simple. Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2001-11-06 19:48:16 Consensus Information Communications protocol Finite-state machine Distributed algorithm Fault-tolerant computer systems Computing Data
290	Checking Cache-Coherence Protocols with TLA+ Rajeev Joshi HP Labs, Systems Research Center, Palo Alto, CA. Leslie Lamport Microsoft Research, Mountain View, CA. Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Theoretical computer science Instruction set architectures Computer memory Parallel computing Cache coherency Model checking CPU cache Formal verification Communications protocol Computing Computer architecture Computer hardware

UPDATE